| 1. | A control flow graph ( cfg ) is a directed graph
控制流程图( cfg )是一个有向图。 |
| 2. | Control flow graph
控制流图 |
| 3. | Control flow graph is a well - known model used for identification of independent paths in procedural software
而控制流图是一个在过程软件中用于鉴别独立路径的著名的模型。 |
| 4. | This technique is also known as test requirements definition technique ( as are control flow graphing , state transition analysis , etc . ) , rather than test design
因果法又被称为测试需求定义方法（控制流图，状态转换分析等等） ，而并非测试设计。 |
| 5. | This phase takes two i uts : ( 1 ) a formal representation of the su icious property ( or properties ) and ( 2 ) control flow graph and data flow information of the program
该阶段取两个输入： ( 1 )一个或多个可疑特性的形式表示，和( 2 )程序的控制流与数据流信息。 |
| 6. | This phase takes two inputs : ( 1 ) a formal representation of the suspicious property ( or properties ) and ( 2 ) control flow graph and data flow information of the program
该阶段取两个输入： ( 1 )一个或多个可疑特性的形式表示，和( 2 )程序的控制流与数据流信息。 |
| 7. | This paper highlights the problem of constructing cfg in object - oriented systems and proposes a new model named extended control flow graph ecfg for code based analysis of object - oriented software
本文着重介绍在面向对象系统中如何构造控制流图，并对面向对象软件的基于代码的分析提出了一个名为扩展控制流图ecfg的新模型。 |
| 8. | In this paper , we firstly study two wcet analysis methods ( control flow graph based wcet analysis method and syntax tree based wcet analysis method ) , and get integrated comprehension on the static wcet analysis
本文首先研究了两种wcet分析方法(基于控制流图的wcet分析方法和基于语法树的wcet分析方法) ,加深了对静态wcet分析的理解。 |
| 9. | In static analysis , we generate the control flow graph of the sequential program and convert the graph to an extended finite state machine ( efsm ) . by analyzing the paths of the efsm , we can find whether there is data dependence in the program or not
数据相关性的静态测试中，我们首先生成程序的流程图，在遍历流程图的同时生成这个程序的扩展有限状态机( efsm ) ，然后调用路径分析工具对efsm的路径进行分析。 |
| 10. | The following works have been done : ( 1 ) define csl language and complete the lexical analysis and syntactical analysis of it ; ( 2 ) obtain control flow graph ( later referred as cfg ) from abstract syntax tree ( ast ) ; ( 3 ) control dependence analysis of csl ; ( 4 ) system architecture of csl slicing system
内容包括通过语法分析获得源程序的抽象语法树,从抽象语法树构造控制流图,在控制流图上做控制流分析获得源程序的控制依赖关系,在控制流图上做数据流分析获得源程序的数据依赖关系,以及最后获得源程序的程序依赖图并以图可达性算法获得程序分片的全过程。 |
